f::int->int->int->int
f x y z= x*(y+z)

bindTwo::(int->int->int->int)->(int->int->int)
bindTwo ff = ff 2 

main = (bindTwo f) 1 1
